Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
261	Extending Coq with Imperative Features and its Application to SAT Verification Micha¨el Armand1 , Benjamin Gr´egoire1, Arnaud Spiwack2 , and Laurent Th´ery1 1 INRIA Sophia Antipolis - M´editerran´ee, France, Add to Reading List Source URL: assert-false.net Language: English - Date: 2012-02-29 08:17:30 Type theory Data types Computability theory Formal methods Models of computation Lambda calculus C++ classes Type system ALGOL 68 Software engineering Programming language theory Computing
262	Corporate and Product Overview Real Intent is the leading provider of EDA software to accelerate Early Functional Verification and Advanced Sign-off of digital designs. It provides comprehensive clock-domain crossing ve Add to Reading List Source URL: realintent.com Language: English - Date: 2014-09-10 13:14:55 Electronic design Hardware verification languages Logic design Logic simulation Functional verification Design closure E Formal verification Application-specific integrated circuit Electronic engineering Digital electronics Electronic design automation
263	1/ Toccata Toccata Deductive Verification, Certified Tools and Numerical Computations Add to Reading List Source URL: vals.lri.fr Language: English - Date: 2015-05-21 04:16:07 Formal methods Functional languages Logic in computer science Theoretical computer science Automated theorem proving Formal verification SIGNAL Coq National Institute for Research in Computer Science and Control Computing Software engineering Software
264	Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations Dr Daniel Potts, VP of Engineering, General Dynamics C4 Systems Rene Bourquin, Member Technical Staff, General Dynamics C4 Syst Add to Reading List Source URL: sel4.systems Language: English - Date: 2014-07-28 22:03:39 Evaluation Trusted computing base Microkernel L4 microkernel family Real-time operating systems Gernot Heiser Formal verification Isabelle Formal methods Computer security Computer architecture Computing
265	Verifying Safety Properties using Separation and Heterogeneous Abstractions Eran Yahav∗ G. Ramalingam Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-04-25 07:36:40 Predicate logic Formal methods Logic in computer science Systems engineering First-order logic Model theory Java Database Connectivity Abstraction Formal verification Logic Mathematical logic Mathematics
266	Viktor Kuncak Swiss Federal Institute of Technology (EPFL) School of Computer & Communications Sciences, INR 318 Station 14 CH-1015 Lausanne, Switzerland web page: http://lara.epfl.ch/˜kuncak Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-09-27 12:22:24 Computing Association for Computing Machinery Logic in computer science Principles of Programming Languages Programming Language Design and Implementation SIGPLAN Formal verification Model checking Computer Aided Verification Computer science Theoretical computer science Formal methods
267	Spinning Into Control Bell Labs’ verification tool: coming to a compiler near you? errors. In one case, the programmers said, “We’ll fix it, but it’s so unlikely to happen that we’re really wasting our time.” Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:26 Compiler construction SPIN model checker Software bug Gerard J. Holzmann Holzmann Programming tool Embedded system Compiler Software Formal methods Computing
268	Gerard J. Holzmann Work: Laboratory for Reliable Software NASA/JPL, 4800 Oak Grove Drive Add to Reading List Source URL: spinroot.com Language: English - Date: 2015-05-15 14:06:48 Science Software development Logic in computer science Systems engineering Software quality Gerard J. Holzmann Software verification Formal verification Model checking Formal methods Theoretical computer science Software testing
269	Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols José Bacelar Almeida Manuel Barbosa Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Applied mathematics Proof of knowledge Zero-knowledge proof IP Communications protocol Vehicle Identification Number Formal verification NP XTR Theoretical computer science Cryptography Cryptographic protocols
270	An Integrated Proof Language for Imperative Programs Karen Zee Viktor Kuncak Martin C. Rinard Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-04-02 08:15:55 Applied mathematics Formal methods Logic in computer science Reasoning Proof assistant Formal verification KeY Isabelle Reasoning system Theoretical computer science Mathematics Automated theorem proving

UPDATE